Michael Hanus (auth.)：在 Z-Library 上搜索

募捐 9月15日2024 – 10月1日2024 关于筹款

您通往知识和文化的门户。每个人都可以使用。

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

书籍 (16)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

1

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Cristiano Calcagno, Dino Distefano (auth.), Michael Hanus (eds.)

年:

2009

语言:

english

文件:

PDF, 2.46 MB

0 / 0

english, 2009

2

Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings

Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Ilies Alouini, Claude Kirchner (auth.), Michael Hanus, Mario Rodríguez-Artalejo (eds.)

年:

1996

语言:

english

文件:

DJVU, 3.57 MB

0 / 0

english, 1996

3

Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6,

Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6,

Springer-Verlag Berlin Heidelberg

Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, Thomas Kleemann (auth.), Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein (eds.)

年:

2005

语言:

english

文件:

PDF, 3.52 MB

0 / 0

english, 2005

4

Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

Springer-Verlag Berlin Heidelberg

Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck (auth.), Herbert Kuchen (eds.)

年:

2011

语言:

english

文件:

PDF, 1.95 MB

0 / 0

english, 2011

5

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

John Hughes (auth.), Michael Hanus (eds.)

年:

2007

语言:

english

文件:

PDF, 3.45 MB

0 / 0

english, 2007

6

Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings

Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

M. Alpuente, M. Falaschi, G. Moreno, G. Vidal (auth.), Michael Hanus, Jan Heering, Karl Meinke (eds.)

年:

1997

语言:

english

文件:

PDF, 18.80 MB

0 / 0

english, 1997

7

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

John Hughes (auth.), Michael Hanus (eds.)

年:

2007

语言:

english

文件:

PDF, 4.30 MB

0 / 0

english, 2007

8

Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Michael Hanus (auth.), Maurice Bruynooghe, Martin Wirsing (eds.)

年:

1992

语言:

english

文件:

DJVU, 4.27 MB

0 / 0

english, 1992

9

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Cristiano Calcagno, Dino Distefano (auth.), Michael Hanus (eds.)

年:

2009

语言:

english

文件:

PDF, 5.44 MB

0 / 0

english, 2009

10

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

John Hughes (auth.), Michael Hanus (eds.)

年:

2007

语言:

english

文件:

PDF, 3.18 MB

0 / 5.0

english, 2007

11

Problemlösen mit PROLOG

Problemlösen mit PROLOG

Vieweg+Teubner Verlag

Michael Hanus (auth.)

年:

1987

语言:

german

文件:

PDF, 5.26 MB

0 / 0

german, 1987

12

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ulrich Geske, Hans-Joachim Goltz (auth.), Dietmar Seipel, Michael Hanus, Armin Wolf (eds.)

年:

2009

语言:

english

文件:

PDF, 3.51 MB

0 / 0

english, 2009

13

Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

Springer-Verlag Berlin Heidelberg

Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck (auth.), Herbert Kuchen (eds.)

年:

2011

语言:

english

文件:

PDF, 1.75 MB

0 / 0

english, 2011

14

Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings

Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

M. Alpuente, M. Falaschi, G. Moreno, G. Vidal (auth.), Michael Hanus, Jan Heering, Karl Meinke (eds.)

年:

1997

语言:

english

文件:

DJVU, 2.60 MB

0 / 0

english, 1997

15

Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings

Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Ilies Alouini, Claude Kirchner (auth.), Michael Hanus, Mario Rodríguez-Artalejo (eds.)

年:

1996

语言:

english

文件:

PDF, 11.50 MB

0 / 0

english, 1996

16

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ulrich Geske, Hans-Joachim Goltz (auth.), Dietmar Seipel, Michael Hanus, Armin Wolf (eds.)

年:

2009

语言:

english

文件:

PDF, 4.43 MB

0 / 0

english, 2009